（来源：上观新闻）
谈及投资回报预期🍔👩🌾，姚卯青表示，👠从生产端看，数据🐞偏传统制☹造业范🇸🇭式，重运营、🇹🇴🦍重管理，高效率，😏毛利中等🇬🇶。尽管组合式推理的🎱🧂愿景很美好，但🍴🚧一个关键的🖐🖐现实问题是，形式🇵🇱🦁化规约需要🍩🇧🇷靠人类专家用极其👨👩👧👧严谨的🍛数学公式手🏸写，人力成本高👨👧昂⚖。平心而论，当前💽🇮🇹的资本🙇🌮环境并💧🥇不算宽松🍣👰。在 20 世🇿🇼⛵纪 60 年代，💩托尼·霍尔🇻🇺🇹🇩提出了🇫🇴🇸🇬今天形式化验证👨💼🍅的重要基石——霍🧗♀️尔逻辑，然而🙀🚀直到他今年🥪逝世前，形🧛♀️式化验🚳证仍然囿于人⛪力成本，难以扩🚨🇵🇼展至大🦃规模软件中🏎⛹️♀️。
当下，机器🧞♀️人量产的角逐主要👃🚜在宇树🎚与智元之间展👩👧👧🇫🇮开🇨🇩🔍。对中国来说☝🇬🇮，更现实的一👲✴条路，不是🏹😾急着选边站⚡🔬。而更大的看点🧷💓在于这条高斜率🎹增长曲线背后的🇮🇸📃东西，👖🎸它告诉市🇰🇾🕸场，国♥💺产氮化😻🧪镓激光芯片不仅仅🚦是被动替代🍿📿，更在主动渗透🤢🇨🇽。贝索斯🔝🐄这条路，🦔🍮也不是一般人能🇲🇪🥗抄的🌝☘。
